(PR (BL (FVAR A B C) (AS A BPARK) (AS B (TTMUL A NILTRANS)) (MO BARM A) (AS C B) (MO BARM B) (MO BARM C) ))